// ${DIRECTION:Right}

type U =
    | A of
        {caret}a:
            int *
        double
